Opportunistic Monitoring of Multithreaded Programs

Abstract We introduce a generic approach for monitoring multithreaded programs online leveraging existing runtime verification (RV) techniques. In our setting, monitors are deployed to monitor specific threads and only exchange information upon reaching synchronization regions defined by the program itself. They use opportunity of lock in program, evaluate across threads. As such, we refer this as opportunistic monitoring. By using synchronization, reduces additional overhead interference synchronize at cost adding delay determine verdict. utilize textbook example readers-writers show how is capable expressing specifications on concurrent regions. also present preliminary assessment compare it classical showing that scales particularly well with concurrency program.